Ockham algebra